0.09/0.10	% Problem    : theBenchmark.p : TPTP v0.0.0. Released v0.0.0.
3.18/3.23	% Command    : run_portfolio.sh /export/starexec/sandbox2/benchmark/theBenchmark.p /export/starexec/sandbox2/tmp/tmp.34RTgoD0vI
3.22/3.44	% Computer   : n032.cluster.edu
3.22/3.44	% Model      : x86_64 x86_64
3.22/3.44	% CPU        : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
3.22/3.44	% Memory     : 8042.1875MB
3.22/3.44	% OS         : Linux 3.10.0-693.el7.x86_64
3.22/3.44	% CPULimit   : 960
3.22/3.44	% DateTime   : Thu Jul  2 14:30:09 EDT 2020
3.22/3.44	% CPUTime    : 
3.22/3.44	% Running portfolio for 120 s
3.22/3.44	% File         : /export/starexec/sandbox2/benchmark/theBenchmark.p
3.22/3.44	% Number of cores: 8
3.22/3.44	% Python version: Python 3.6.8
3.22/3.44	% Running in HO mode
3.48/3.70	% Estimated wc time : 1286
3.48/3.70	% Estimated cpu time (7 cpus) : 183.71428571428572
3.60/3.81	% /export/starexec/sandbox2/solver/bin/lams/s6.sh running for 21s
3.60/3.82	% /export/starexec/sandbox2/solver/bin/lams/new_b3.2.norw.sh running for 15s
3.60/3.82	% /export/starexec/sandbox2/solver/bin/lams/b.rpo.sh running for 21s
3.60/3.83	% /export/starexec/sandbox2/solver/bin/lams/s6.ds.sh running for 10s
3.60/3.85	% /export/starexec/sandbox2/solver/bin/lams/c.s.2.sh running for 68s
3.62/3.89	% /export/starexec/sandbox2/solver/bin/lams/c.easy.sh running for 26s
3.63/3.92	% /export/starexec/sandbox2/solver/bin/lams/old_b3.avatar.sh running for 15s
73.30/13.88	% /export/starexec/sandbox2/solver/bin/lams/old_sp2.sh running for 17s
107.47/18.84	% /export/starexec/sandbox2/solver/bin/lams/b.sh running for 31s
108.03/19.00	% /export/starexec/sandbox2/solver/bin/lams/sh1.sh running for 26s
148.83/24.85	% /export/starexec/sandbox2/solver/bin/lams/b.lsimp.sh running for 17s
157.21/26.44	% /export/starexec/sandbox2/solver/bin/lams/b.split.sh running for 31s
181.40/29.95	% /export/starexec/sandbox2/solver/bin/lams/s4.sh running for 15s
188.78/31.10	% /export/starexec/sandbox2/solver/bin/lams/b.rw.sh running for 26s
263.57/41.92	% /export/starexec/sandbox2/solver/bin/lams/c_ic.sh running for 42s
284.48/44.98	% /export/starexec/sandbox2/solver/bin/lams/s1.f.sh running for 15s
284.65/45.09	% /export/starexec/sandbox2/solver/bin/lams/c.preprocess2.sh running for 21s
318.02/50.02	% /export/starexec/sandbox2/solver/bin/lams/sh.or.sh running for 26s
368.18/57.20	% /export/starexec/sandbox2/solver/bin/lams/new.cs3.comb.sh running for 18s
371.00/57.75	% /export/starexec/sandbox2/solver/bin/lams/old_b2.sh running for 31s
387.00/60.11	% /export/starexec/sandbox2/solver/bin/lams/sp5.sh running for 36s
429.33/66.15	% /export/starexec/sandbox2/solver/bin/lams/b2.sh running for 15s
486.14/74.81	% /export/starexec/sandbox2/solver/bin/lams/b.lcnf.od.sh running for 26s
488.41/75.24	% /export/starexec/sandbox2/solver/bin/lams/c.s.sh running for 36s
493.50/76.18	% /export/starexec/sandbox2/solver/bin/lams/b3.sh running for 26s
497.65/76.80	% /export/starexec/sandbox2/solver/bin/lams/cmb.lcnf.sh running for 10s
531.46/81.69	% /export/starexec/sandbox2/solver/bin/lams/sh.eqenc.sh running for 17s
556.37/85.43	% /export/starexec/sandbox2/solver/bin/lams/p.ll.e2.sh running for 17s
565.92/86.83	% /export/starexec/sandbox2/solver/bin/lams/c.cmb.sh running for 21s
579.75/88.88	% /export/starexec/sandbox2/solver/bin/lams/cs1.sh running for 47s
636.79/97.91	% /export/starexec/sandbox2/solver/bin/lams/old_s4.sh running for 36s
644.82/99.08	% /export/starexec/sandbox2/solver/bin/lams/old.cs2combs.sh running for 23s
666.46/102.21	% /export/starexec/sandbox2/solver/bin/lams/b5.sh running for 7s
669.06/102.65	% /export/starexec/sandbox2/solver/bin/lams/eignore3.sh running for 36s
706.63/108.08	% /export/starexec/sandbox2/solver/bin/lams/e_lift.sh running for 38s
714.74/109.32	% /export/starexec/sandbox2/solver/bin/lams/e_lift_late.sh running for 31s
744.24/114.23	% /export/starexec/sandbox2/solver/bin/lams/s6.2.sh running for 10s
785.27/120.15	Alarm clock
785.27/120.15	% Zipperpin 1.5 exiting
785.27/120.16	EOF